• Conference Object  

      Argumentation based modeling of decision aiding for autonomous agents 

      Dimopoulos, Yannis; Moraïtis, Pavlos; Tsoukiàs, A. (2004)
      Decision Aiding can be abstractly described as the process of assisting a user/client/decision maker by recommending possible courses of his action. This process has to be able to cope with incomplete and/or inconsistent ...
    • Article  

      Argumentation based modelling of embedded agent dialogues 

      Dimopoulos, Yannis; Kakas, Antonis C.; Moraïtis, Pavlos (2006)
      This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments that agents exchange during a dialogue, it defines ...
    • Conference Object  

      Argumentation-based Negotiation with Incomplete Opponent Profiles 

      Dimopoulos, Yannis; Mailly, Jean-Guy; Moraitis, Pavlos (International Foundation for Autonomous Agents and Multiagent Systems, 2019)
      Computational argumentation has taken a predominant place in the modeling of negotiation dialogues over the last years. A competent agent participating in a negotiation process is expected to decide its next move taking ...
    • Conference Object  

      Argumentative alternating offers 

      Hadidi, N.; Dimopoulos, Yannis; Moraïtis, Pavlos (International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2010)
      This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotiation mechanism is based on an abstract preference based argumentation framework where both epistcmic and ...
    • Article  

      Argumentative alternating offers 

      Hadidi, N.; Dimopoulos, Yannis; Moraïtis, Pavlos (2011)
      This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotiation mechanism is based on an abstract preference based argumentation framework where both epistemic and ...
    • Conference Object  

      Ceteris paribus preference elicitation with predictive guarantees 

      Dimopoulos, Yannis; Michael, Loizos; Athienitou, F. (2009)
      CP-networks have been proposed as a simple and intuitive graphical tool for representing conditional ceteris paribus preference statements over the values of a set of variables. While the problem of reasoning with CP-networks ...
    • Conference Object  

      Characterizing the outcomes of argumentation-based integrative negotiation 

      Dimopoulos, Yannis; Moraïtis, Pavlos; Amgoud, L. (2008)
      In the negotiation literature we find two relatively distinct types of negotiation. The two types are known as integrative negotiations and distributive negotiations. Integrative negotiations are those where all sides are ...
    • Article  

      Classical methods in nonmonotonic reasoning 

      Dimopoulos, Yannis (1994)
      In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...
    • Article  

      The computational value of joint consistency 

      Dimopoulos, Yannis (1994)
      In this paper we investigate the complexity of some recent reconstructions of Reiter's Default Logic using graph-theoretical structures. It turns out that requiring joint consistency of the justification of the applied ...
    • Conference Object  

      Constraint propagation in propositional planning 

      Sideris, A.; Dimopoulos, Yannis (2010)
      Planning as Satisfiability is a most successful approach to optimal propositional planning. It draws its strength from the efficiency of state-of-the-art propositional satisfiability solvers, combined with the utilization ...
    • Conference Object  

      Control Argumentation Frameworks 

      Dimopoulos, Yannis; Mailly, Jean-Guy; Moraitis, Pavlos (AAAI Press, 2018)
      Dynamics of argumentation is the family of techniques concerned with the evolution of an argumentation framework (AF), for instance to guarantee that a given set of arguments is accepted. This work proposes Control ...
    • Article  

      Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners 

      Gerevini, A. E.; Haslum, P.; Long, D.; Saetti, A.; Dimopoulos, Yannis (2009)
      The international planning competition (IPC) is an important driver for planning research. The general goals of the IPC include pushing the state of the art in planning technology by posing new scientific challenges, ...
    • Article  

      Encoding planning problems in nonmonotonic logic programs 

      Dimopoulos, Yannis; Nebel, B.; Koehler, J. (1997)
      We present a framework for encoding planning problems in logic programs with negation as failure, having computational efficiency as our major consideration. In order to accomplish our goal, we bring together ideas from ...
    • Conference Object  

      Engineering an agent-based approach to ambient assisted living 

      Spanoudakis, Nikolaos I.; Moraïtis, Pavlos; Dimopoulos, Yannis (University of Salzburg, 2009)
      This paper aims to discuss engineering aspects for an agent-based ambient assisted living system for the home environment. The special requirements of our system are to provide a platform with cost-effective specialized ...
    • Article  

      Extended semantics and optimization algorithms for CP-networks 

      Brafman, R. I.; Dimopoulos, Yannis (2004)
      Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. Ceteris paribus (CP)-nets were designed to make the process of preference elicitation simpler and more ...
    • Article  

      Extending argumentation to make good decisions 

      Dimopoulos, Yannis; Moraïtis, Pavlos; Amgoud, L. (2009)
      Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating preference information in argumentation. The majority ...
    • Article  

      Extending planning graphs to an ADL subset 

      Koehler, J.; Nebel, B.; Hoffmann, J.; Dimopoulos, Yannis (1997)
      We describe an extension of graphplan to a subset of ADL that allows conditional and universally quantified effects in operators in such a way that almost all interesting properties of the original graph-plan algorithm are ...
    • Conference Object  

      Extending SATPLAN to multiple agents 

      Dimopoulos, Yannis; Hashmi, M. A.; Moraïtis, Pavlos (2011)
      Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve individual goals that may be either independent, ...
    • Article  

      A general framework for argumentation-based negotiation 

      Amgoud, L.; Dimopoulos, Yannis; Moraïtis, Pavlos (2008)
      This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible to study the outcomes of an argumentation-based ...
    • Article  

      Graph theoretical structures in logic programs and default theories 

      Dimopoulos, Yannis; Torres, A. (1996)
      In this paper we present a graph representation of logic programs and default theories. We show that many of the semantics proposed for logic programs with negation can be expressed in terms of notions emerging from graph ...